$\forall$$a$,$b$:$\mathbb{Z}$, $E$:(int\_seg($a$; $b$)$\rightarrow$rationals). qsum($a$; $b$; $j$.$E$($j$)) $\in$ rationals